1. Changing Anarchism : Anarchist Theory and Practice in a Global Age
المؤلف: \ Edited by: Jonathan Purkis, James Bowen
المکتبة: (طهران)
موضوع:
2. Electronic Visualisation in Arts and Culture
المؤلف: / Jonathan P. Bowen, Suzanne Keene, Kia Ng
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. Electronic visualisation in arts and culture
المؤلف: Bowen, Jonathan P.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Art and technology -- Congresses,، Technology and the arts -- Congresses,، Image processing -- Congresses
رده :
TA
357
.
V52
2013
4. Electronic visualisation in arts and culture /
المؤلف: Jonathan P. Bowen, Suzanne Keene, Kia Ng, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Art and technology, Congresses,Arts-- Data processing, Congresses,Image processing, Congresses,Technology and the arts, Congresses,Visualization, Congresses
رده :
N72
.
T4
5. Engineering trustworthy software systems :
المؤلف: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
6. Engineering trustworthy software systems :
المؤلف: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
7. Formal Methods: State of the Art and New Directions
المؤلف: / Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
8. Formal methods
المؤلف: Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Formal methods (Computer science)
رده :
QA
،
76
.
9
،.
F67
,
F665
،
2010
9. Formal methods : state of the art and new directions
المؤلف: editors Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi
المکتبة: (طهران)
موضوع: ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67
F67
2010
10. Formal specification and documentation Using Z: a case study approach
المؤلف: Bowen, Jonathan Peter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
11. Formal specification and documentation using Z : a case study approach
المؤلف: Bowen, Jonathan
المکتبة: (طهران)
موضوع: Z )Computer program language( , Computer software - Development
رده :
QA
76
.
73
.
Z2
B68
1996
12. High-integrity system specification and design.
المؤلف: Jonathan P Bowen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Databehandling,Systemutveckling
رده :
QA76
.
9
.
S88
J663
1999
13. Industrial-Strength Formal Methods in Practice
المؤلف: edited by Michael G. Hinchey, Jonathan P. Bowen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
F67
E358
1999
14. Inside teaching: Options for English language teachers
المؤلف: Tim Bowen,Jonathan Marks
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Teaching,Teachers
رده :
LB
,
1025
.
3
,.
B68
,
1994
15. Orf parapoxvirus infection from a cat scratch
المؤلف: Frandsen, Jonathan; Enslow, Mike; Bowen, Anneli R,Frandsen, Jonathan; Enslow, Mike; Bowen, Anneli R
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
16. ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
المؤلف: Jonathan P. Bowen...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1878
17. ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 1998 : proceedings
المؤلف: Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1493
18. ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
المؤلف: Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1212
